Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
91	IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. , NO. , MONTH YEAR 1 Correct-By-Construction Adaptive Cruise Control: Two Approaches Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-06-16 12:52:13 Control theory Cybernetics Linear temporal logic Symbol
92	On Exponential Sums and Group Generators for Elliptic Curves over Finite Fields David R. Kohel1 and Igor E. Shparlinski2 1 School of Mathematics and Statistics Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2011-02-12 16:32:49 Group theory Analytic number theory Elliptic curve Operator theory Differential forms on a Riemann surface Linear temporal logic
93	Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic – Add to Reading List Source URL: iltp.de Language: English - Date: 2016-04-26 07:46:57
94	Universit`a degli Studi di Udine Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Fisica Ciclo XXVI Ph.D. Thesis Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-03-23 21:49:40 Order theory Proof theory Mathematical logic Metalogic Equivalence of categories Linear extension Reverse mathematics Theorem
95	PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-08-12 05:11:28 Logic Mathematical logic Theoretical computer science Proof theory Logic in computer science Models of computation Formal methods Metalogic Denotational semantics Linear logic Natural deduction Cut-elimination theorem
96	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
97	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2009-10-20 18:53:39 Logic Mathematical logic Abstraction Automated theorem proving Model theory Predicate logic Semantics Boolean algebra Resolution Cutting-plane method First-order logic Propositional calculus
98	Curry-Howard for GUIs Or, User Interfaces via Linear Temporal, Classical Linear Logic Jennifer Paykin University of Pennsylvania <> Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-11-13 09:35:19
99	Exact Sampling with Integer Linear Programs and Random Perturbations Carolyn Kim Ashish Sabharwal Stefano Ermon Add to Reading List Source URL: ai2-website.s3.amazonaws.com Language: English - Date: 2016-05-10 13:04:43 Mathematics Logic Abstraction Metalogic Model theory Structure Pattern language Indexed grammar
100	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface

UPDATE